Simulation of the Ionization Cooling of Muons in Linear RF Systems*

Ionization cooling of muon beams is a crucial component of the proposed muon collider and neutrino factory. Current studies of cooling channels predominantly use simulations which track single particles, an often time consuming procedure. These simulation efforts are discussed and compared with analytic studies using equations for the beam moments in a linear channel. These dynamic equations, which are analogous to the Courant-Snyder description of quadrupole focussing, incorporate the basic aspects of ionization cooling: energy loss and scattering in material, acceleration by radio frequency (RF) cavities, and focussing in solenoid magnets. This formalism can be used to study a wide range of cooling channels, and to evaluate the impact of engineering constraints on cooling channel performance.